Proof by infinite descent